Nuprl Definition : fpf-single
11,40
postcript
pdf
fpf-single(
x
;
v
) == <cons(
x
; []),
x
.
v
>
latex
FDL editor aliases
fpf-single
origin
x.v> x.v>